diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2017-06-08 09:31:14 +0100 |
|---|---|---|
| committer | Jeremie Dimino <jeremie@dimino.org> | 2018-02-12 08:29:16 +0000 |
| commit | 4d79045d9597f2ba6e48d8cd11b4d3d6a9b6958a (patch) | |
| tree | ce15e9e2e3cc6ca526e20ca7ad43ad7cc2b09a93 /configure | |
| parent | 225d1c65b9f284b2cd85b26b58698da342ce9792 (diff) | |
| download | ocaml-4d79045d9597f2ba6e48d8cd11b4d3d6a9b6958a.tar.gz | |
Use gawk on Windows in the build system
awk is symbolic link in Cygwin, which means it can't be used in -pp for
a native Windows build. Just use gawk instead, as no other package
provides the awk command on Cygwin.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2136,6 +2136,7 @@ config WINDOWS_UNICODE "0" config AFL_INSTRUMENT "$afl_instrument" config MAX_TESTSUITE_DIR_RETRIES "$max_testsuite_dir_retries" config FLAT_FLOAT_ARRAY "$flat_float_array" +config AWK "awk" rm -f tst hasgot.c |
