diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2019-11-29 11:26:40 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2019-11-29 11:26:40 +0100 |
| commit | 7e149a97d276ce3b4c5e34f965766c8e40e03fef (patch) | |
| tree | 5f90c63b8ba73f4ecd23d6e642c1ab34dccea033 /src/make_property.sh | |
| parent | c527ea541a9633fb14391c981861e70070d9402f (diff) | |
| parent | 4216de6a3336cbc6dddb572cb7e6ab6193bf3729 (diff) | |
Update upstream source from tag 'upstream/6.9.4'
Update to upstream version '6.9.4'
with Debian dir 02ee3cf90d9374728e429b9f574cef3b70759f00
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' |