diff options
Diffstat (limited to 'lang/drscheme/files/patch-aa')
-rw-r--r-- | lang/drscheme/files/patch-aa | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lang/drscheme/files/patch-aa b/lang/drscheme/files/patch-aa deleted file mode 100644 index a6dcafd5f1c6..000000000000 --- a/lang/drscheme/files/patch-aa +++ /dev/null @@ -1,26 +0,0 @@ ---- ../install-- Thu Jun 21 15:49:54 2001 -+++ ../install Thu Jun 21 15:58:35 2001 -@@ -134,21 +134,8 @@ - checklink "MzScheme/MrEd/DrScheme" ".bin/sparc-sunos4-static" ".bin/sparc-solaris" "sparc-sunos4-static" "SunOS4 Static" "Solaris" - fi - --if [ -z "${RPM_INSTALL_PREFIX}" ] ; then -- echo 'PLT software starts up much faster with .zo files, but creating .zo' -- echo 'files now takes a few minutes and requires about 5MB of additional' -- echo 'disk space. Create .zo files later by running plt/bin/setup-plt.' -- echo -n ' Create .zo files now (y/n)? [y] ' -- read response --else -- response="y" --fi --if [ "$response" != 'n' ] ; then -- if [ "$response" != 'N' ] ; then -- didnothing="" -- bin/setup-plt -- fi --fi -+didnothing="" -+bin/setup-plt - - echo - echo "PLT installation done${didnothing}." |