diff options
| -rw-r--r-- | test-nsc/scalanstest | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test-nsc/scalanstest b/test-nsc/scalanstest index be9d89e1a1..78a9b11fed 100644 --- a/test-nsc/scalanstest +++ b/test-nsc/scalanstest @@ -432,9 +432,7 @@ prefix=$PREFIX; PREFIX=`cd "$PREFIX"; pwd`; ############################################################################## -# Configuration and invocation of $SCRIPT - -configure; +# Invocation of $SCRIPT NORUN="false"; SHOWLOG="false"; |