diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2016-02-05 10:02:09 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-02-05 10:02:09 +0200 |
| commit | d18edce5957afdc3a286cf4ce1ca141a3cdc7be5 (patch) | |
| tree | 3c7fd5d5e5e3aa2332283e480c6ccccfbb029861 /test | |
| parent | 5f8279884b6743cd75388023335ff60093af6d85 (diff) | |
| download | egawk-d18edce5957afdc3a286cf4ce1ca141a3cdc7be5.tar.gz egawk-d18edce5957afdc3a286cf4ce1ca141a3cdc7be5.tar.bz2 egawk-d18edce5957afdc3a286cf4ce1ca141a3cdc7be5.zip | |
Turn optimization on by default. New -s option to disable it.
Diffstat (limited to 'test')
| -rw-r--r-- | test/ChangeLog | 4 | ||||
| -rw-r--r-- | test/badargs.ok | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/test/ChangeLog b/test/ChangeLog index e7bddcd3..cc8b93e4 100644 --- a/test/ChangeLog +++ b/test/ChangeLog @@ -1,3 +1,7 @@ +2016-02-05 Arnold D. Robbins <arnold@skeeve.com> + + * badargs.ok: Update after adding Yet Another Command Line Option. + 2016-01-28 Arnold D. Robbins <arnold@skeeve.com> * Makefile.am (EXTRA_DIST): Add profile9.awk and profile9.ok. diff --git a/test/badargs.ok b/test/badargs.ok index 1664ec1c..cd66dda0 100644 --- a/test/badargs.ok +++ b/test/badargs.ok @@ -26,6 +26,7 @@ Short options: GNU long options: (extensions) -p[file] --profile[=file] -P --posix -r --re-interval + -s --no-optimize -S --sandbox -t --lint-old -V --version |