diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 7f2acf2397..f2239ef6a0 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -160,6 +160,7 @@ OCAMLC := @OCAMLC@ OCAMLOPT := @OCAMLOPT@ OCAMLDEP := @OCAMLDEP@ OCAMLDOC := @OCAMLDOC@ +GAS := @GAS@ POD2HTML := @POD2HTML@ POD2MAN := @POD2MAN@ RUNTEST := @RUNTEST@ |