Skip to content

Commit

Permalink
make 'glass' script more posix-compliant
Browse files Browse the repository at this point in the history
  • Loading branch information
bitwize committed Jul 1, 2012
1 parent 06fb81c commit 5167de2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion glass
@@ -1,6 +1,6 @@
#!/bin/sh #!/bin/sh
GSI=$HOME/local/Gambit-C/bin/gsi # set to your gsi location GSI=$HOME/local/Gambit-C/bin/gsi # set to your gsi location
if [ x$1 == xtable ] ; then if [ "x$1" = "xtable" ] ; then
$GSI -e '(load "glasstable")(gt#repl)' $GSI -e '(load "glasstable")(gt#repl)'
fi fi


0 comments on commit 5167de2

Please sign in to comment.