diff options
Diffstat (limited to 'java/simplicity/files/patch-Simplicity-sh-script')
-rw-r--r-- | java/simplicity/files/patch-Simplicity-sh-script | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/java/simplicity/files/patch-Simplicity-sh-script b/java/simplicity/files/patch-Simplicity-sh-script deleted file mode 100644 index 63f8dd79111c..000000000000 --- a/java/simplicity/files/patch-Simplicity-sh-script +++ /dev/null @@ -1,15 +0,0 @@ ---- Simplicity.orig Wed Nov 13 15:07:22 2002 -+++ Simplicity Wed Nov 13 15:14:06 2002 -@@ -3,10 +3,10 @@ - # This script will run Simplicity For Java on a Unix computer. - - # Change the next line to the path where you installed Simplicity. --export SIMPHOME=/home/auser/Simplicity/ -+export SIMPHOME=%%%PREFIX%%%/Simplicity/ - - # Change the next line to the location of the java binary on your machine. --export JAVABIN=/usr/jdk1.2.2/jre/bin/java -+export JAVABIN=%%%JAVAVM%%% - - # On some SCO Unixware machines, the next line should be uncommented - # (remove the #) and the line after it should be removed. |