314 |
-debug Produce even more output which will mean nothing to most |
-debug Produce even more output which will mean nothing to most |
315 |
-force Do "make CLEAN" before compiling. This forces a complete rebuild. |
-force Do "make CLEAN" before compiling. This forces a complete rebuild. |
316 |
-clean Do "make CLEAN" after compiling and testing. |
-clean Do "make CLEAN" after compiling and testing. |
317 |
-longtest Compare numeric output for mean and s.d. of variables. |
-shorttest Don't compare numeric output for mean and s.d. of variables. |
318 |
-noieee By default, $0 uses the -ieee option for genmake. This turns it off. |
-noieee By default, $0 uses the -ieee option for genmake. This turns it off. |
319 |
|
|
320 |
Normal usage: |
Normal usage: |
345 |
force=0 |
force=0 |
346 |
clean=0 |
clean=0 |
347 |
ieee=1 |
ieee=1 |
348 |
longtest=0 |
longtest=1 |
349 |
expts='' |
expts='' |
350 |
|
|
351 |
# Process arguments |
# Process arguments |
358 |
-force) force=1;; |
-force) force=1;; |
359 |
-clean) clean=1;; |
-clean) clean=1;; |
360 |
-noieee) ieee=0;; |
-noieee) ieee=0;; |
361 |
-longtest) longtest=1;; |
-shorttest) longtest=0;; |
362 |
-quiet) verbose=0;; |
-quiet) verbose=0;; |
363 |
-help) show_help; exit 0;; |
-help) show_help; exit 0;; |
364 |
-*) echo Unrecognized option:$arg; exit 9;; |
-*) echo Unrecognized option:$arg; exit 9;; |