diff options
Diffstat (limited to 'tests/dimension/numeric.sh')
| -rwxr-xr-x | tests/dimension/numeric.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/dimension/numeric.sh b/tests/dimension/numeric.sh index d0ebc7a..c5e7c93 100755 --- a/tests/dimension/numeric.sh +++ b/tests/dimension/numeric.sh @@ -19,7 +19,7 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. # ######################################################################### -numeric=$(${top_builddir}/dimension/dimension --strict --tokenize ${srcdir}/numeric.pov) +numeric=$(${top_builddir}/dimension/dimension ${dimension_flags} --tokenize ${srcdir}/numeric.pov) numeric_exp=$(echo -n \ '((integer "1") (integer "123456789") |