diff options
Diffstat (limited to 'src/make_property.sh')
| -rwxr-xr-x | src/make_property.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/make_property.sh b/src/make_property.sh index bc5cf98..cef0a96 100755 --- a/src/make_property.sh +++ b/src/make_property.sh @@ -1,8 +1,9 @@ #!/bin/sh +GPERF=gperf + TMP1=gperf1.tmp TMP2=gperf2.tmp -GPERF=/usr/local/bin/gperf GPERF_OPT='-pt -T -L ANSI-C' |