removed -norc;
authorwenzelm
Tue Apr 22 11:37:12 1997 +0200 (1997-04-22)
changeset 3007e5efa177ee0c
parent 3006 8a1eb4531fbb
child 3008 0a887d5b6718
removed -norc;
bin/isabelle
bin/isatool
build
configure
lib/Tools/changeparent
lib/Tools/doc
lib/Tools/expandshort
lib/Tools/findlogics
lib/Tools/getenv
lib/Tools/installfonts
lib/Tools/make
lib/Tools/makeall
lib/Tools/symbolinput
lib/Tools/usedir
lib/scripts/isa-emacs
lib/scripts/isa-xterm
lib/scripts/run-polyml
lib/scripts/run-smlnj
lib/scripts/run-smlnj-0.93
lib/scripts/ucat
     1.1 --- a/bin/isabelle	Tue Apr 22 11:25:45 1997 +0200
     1.2 +++ b/bin/isabelle	Tue Apr 22 11:37:12 1997 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -#!/bin/bash -norc
     1.5 +#!/bin/bash
     1.6  #
     1.7  # $Id$
     1.8  #
     2.1 --- a/bin/isatool	Tue Apr 22 11:25:45 1997 +0200
     2.2 +++ b/bin/isatool	Tue Apr 22 11:37:12 1997 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -#!/bin/bash -norc
     2.5 +#!/bin/bash
     2.6  #
     2.7  # $Id$
     2.8  #
     3.1 --- a/build	Tue Apr 22 11:25:45 1997 +0200
     3.2 +++ b/build	Tue Apr 22 11:37:12 1997 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -#!/bin/bash -norc
     3.5 +#!/bin/bash
     3.6  #
     3.7  # $Id$
     3.8  #
     4.1 --- a/configure	Tue Apr 22 11:25:45 1997 +0200
     4.2 +++ b/configure	Tue Apr 22 11:37:12 1997 +0200
     4.3 @@ -6,7 +6,7 @@
     4.4  
     4.5  ## patch scripts
     4.6  
     4.7 -if bash -norc -c ""
     4.8 +if bash -c ""
     4.9  then
    4.10    bash lib/scripts/patch-scripts.bash
    4.11  else
     5.1 --- a/lib/Tools/changeparent	Tue Apr 22 11:25:45 1997 +0200
     5.2 +++ b/lib/Tools/changeparent	Tue Apr 22 11:37:12 1997 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -#!/bin/bash -norc
     5.5 +#!/bin/bash
     5.6  #
     5.7  # $Id$
     5.8  #
     6.1 --- a/lib/Tools/doc	Tue Apr 22 11:25:45 1997 +0200
     6.2 +++ b/lib/Tools/doc	Tue Apr 22 11:37:12 1997 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -#!/bin/bash -norc
     6.5 +#!/bin/bash
     6.6  #
     6.7  # $Id$
     6.8  #
     7.1 --- a/lib/Tools/expandshort	Tue Apr 22 11:25:45 1997 +0200
     7.2 +++ b/lib/Tools/expandshort	Tue Apr 22 11:37:12 1997 +0200
     7.3 @@ -1,4 +1,4 @@
     7.4 -#!/bin/bash -norc
     7.5 +#!/bin/bash
     7.6  #
     7.7  # $Id$
     7.8  #
     8.1 --- a/lib/Tools/findlogics	Tue Apr 22 11:25:45 1997 +0200
     8.2 +++ b/lib/Tools/findlogics	Tue Apr 22 11:37:12 1997 +0200
     8.3 @@ -1,4 +1,4 @@
     8.4 -#!/bin/bash -norc
     8.5 +#!/bin/bash
     8.6  #
     8.7  # $Id$
     8.8  #
     9.1 --- a/lib/Tools/getenv	Tue Apr 22 11:25:45 1997 +0200
     9.2 +++ b/lib/Tools/getenv	Tue Apr 22 11:37:12 1997 +0200
     9.3 @@ -1,4 +1,4 @@
     9.4 -#!/bin/bash -norc
     9.5 +#!/bin/bash
     9.6  #
     9.7  # $Id$
     9.8  #
    10.1 --- a/lib/Tools/installfonts	Tue Apr 22 11:25:45 1997 +0200
    10.2 +++ b/lib/Tools/installfonts	Tue Apr 22 11:37:12 1997 +0200
    10.3 @@ -1,4 +1,4 @@
    10.4 -#!/bin/bash -norc
    10.5 +#!/bin/bash
    10.6  #
    10.7  # $Id$
    10.8  #
    11.1 --- a/lib/Tools/make	Tue Apr 22 11:25:45 1997 +0200
    11.2 +++ b/lib/Tools/make	Tue Apr 22 11:37:12 1997 +0200
    11.3 @@ -1,4 +1,4 @@
    11.4 -#!/bin/bash -norc
    11.5 +#!/bin/bash
    11.6  #
    11.7  # $Id$
    11.8  #
    12.1 --- a/lib/Tools/makeall	Tue Apr 22 11:25:45 1997 +0200
    12.2 +++ b/lib/Tools/makeall	Tue Apr 22 11:37:12 1997 +0200
    12.3 @@ -1,4 +1,4 @@
    12.4 -#!/bin/bash -norc
    12.5 +#!/bin/bash
    12.6  #
    12.7  # $Id$
    12.8  #
    13.1 --- a/lib/Tools/symbolinput	Tue Apr 22 11:25:45 1997 +0200
    13.2 +++ b/lib/Tools/symbolinput	Tue Apr 22 11:37:12 1997 +0200
    13.3 @@ -1,4 +1,4 @@
    13.4 -#!/bin/bash -norc
    13.5 +#!/bin/bash
    13.6  #
    13.7  # $Id$
    13.8  #
    14.1 --- a/lib/Tools/usedir	Tue Apr 22 11:25:45 1997 +0200
    14.2 +++ b/lib/Tools/usedir	Tue Apr 22 11:37:12 1997 +0200
    14.3 @@ -1,4 +1,4 @@
    14.4 -#!/bin/bash -norc
    14.5 +#!/bin/bash
    14.6  #
    14.7  # $Id$
    14.8  #
    15.1 --- a/lib/scripts/isa-emacs	Tue Apr 22 11:25:45 1997 +0200
    15.2 +++ b/lib/scripts/isa-emacs	Tue Apr 22 11:37:12 1997 +0200
    15.3 @@ -1,4 +1,4 @@
    15.4 -#!/bin/bash -norc
    15.5 +#!/bin/bash
    15.6  #
    15.7  # $Id$
    15.8  #
    16.1 --- a/lib/scripts/isa-xterm	Tue Apr 22 11:25:45 1997 +0200
    16.2 +++ b/lib/scripts/isa-xterm	Tue Apr 22 11:37:12 1997 +0200
    16.3 @@ -1,4 +1,4 @@
    16.4 -#!/bin/bash -norc
    16.5 +#!/bin/bash
    16.6  #
    16.7  # $Id$
    16.8  #
    17.1 --- a/lib/scripts/run-polyml	Tue Apr 22 11:25:45 1997 +0200
    17.2 +++ b/lib/scripts/run-polyml	Tue Apr 22 11:37:12 1997 +0200
    17.3 @@ -1,4 +1,4 @@
    17.4 -#!/bin/bash -norc
    17.5 +#!/bin/bash
    17.6  #
    17.7  # $Id$
    17.8  #
    18.1 --- a/lib/scripts/run-smlnj	Tue Apr 22 11:25:45 1997 +0200
    18.2 +++ b/lib/scripts/run-smlnj	Tue Apr 22 11:37:12 1997 +0200
    18.3 @@ -1,4 +1,4 @@
    18.4 -#!/bin/bash -norc
    18.5 +#!/bin/bash
    18.6  #
    18.7  # $Id$
    18.8  #
    19.1 --- a/lib/scripts/run-smlnj-0.93	Tue Apr 22 11:25:45 1997 +0200
    19.2 +++ b/lib/scripts/run-smlnj-0.93	Tue Apr 22 11:37:12 1997 +0200
    19.3 @@ -1,4 +1,4 @@
    19.4 -#!/bin/bash -norc
    19.5 +#!/bin/bash
    19.6  #
    19.7  # $Id$
    19.8  #
    20.1 --- a/lib/scripts/ucat	Tue Apr 22 11:25:45 1997 +0200
    20.2 +++ b/lib/scripts/ucat	Tue Apr 22 11:37:12 1997 +0200
    20.3 @@ -1,4 +1,4 @@
    20.4 -#!/bin/bash -norc
    20.5 +#!/bin/bash
    20.6  #
    20.7  # $Id$
    20.8  #