1 files changed, 0 insertions, 16 deletions
diff --git a/math/reduce/files/runpsl.sh b/math/reduce/files/runpsl.sh
deleted file mode 100644
index 67de252482a8..000000000000
--- a/math/reduce/files/runpsl.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#! /bin/sh
-
-case `uname -m` in
-amd64)
-      STORE=2000
-      ;;
-i386)
-      STORE=16000000
-      ;;
-esac
-
-bin="/usr/local/share/reduce/psl/bpsl"
-img="/usr/local/share/reduce/red/reduce.img"
-
-exec $bin -td $STORE -f $img $*
-