diff options
Diffstat (limited to 'util/pl/ultrix.pl')
| -rw-r--r-- | util/pl/ultrix.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/pl/ultrix.pl b/util/pl/ultrix.pl index c5e3be861c..1887794798 100644 --- a/util/pl/ultrix.pl +++ b/util/pl/ultrix.pl @@ -11,7 +11,7 @@ $rm='/bin/rm -f'; $cc='cc'; if ($debug) - { $cflags="-g -DREF_CHECK"; } + { $cflags="-g -DREF_DEBUG"; } else { $cflags="-O2"; } |