allow scripts to be passed to eic-shell
Compare changes
+ 11
− 3
@@ -194,7 +194,7 @@ PREFIX=$PREFIX
@@ -194,7 +194,7 @@ PREFIX=$PREFIX
@@ -202,7 +202,11 @@ function print_the_help {
@@ -202,7 +202,11 @@ function print_the_help {
@@ -223,6 +227,10 @@ while [ \$# -gt 0 ]; do
@@ -223,6 +227,10 @@ while [ \$# -gt 0 ]; do
@@ -259,7 +267,7 @@ fi
@@ -259,7 +267,7 @@ fi