Skip to content
Browse files

change 'glass' script to 'glasstable', update it to work with Gambit-…

…hooked GT
  • Loading branch information...
1 parent 36612c1 commit b1c94edc81a7213547cd400d8f8942beb6b17bef @bitwize committed Feb 2, 2013
Showing with 1 addition and 3 deletions.
  1. +1 −3 glass → glasstable
View
4 glass → glasstable
@@ -1,6 +1,4 @@
#!/bin/sh
GSI=$HOME/local/Gambit-C/bin/gsi # set to your gsi location
-if [ "x$1" = "xtable" ] ; then
- $GSI -e '(load "glasstable")(gt#repl)'
-fi
+$GSI -e '(load "glasstable")(gt#repl)' -

0 comments on commit b1c94ed

Please sign in to comment.
Something went wrong with that request. Please try again.