diff options
Diffstat (limited to 'Makefile.reconf_args')
-rw-r--r-- | Makefile.reconf_args | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.reconf_args b/Makefile.reconf_args index 10d3c84b9..516ae0adb 100644 --- a/Makefile.reconf_args +++ b/Makefile.reconf_args @@ -1,3 +1,4 @@ +# -*-makefile-*- # This makefile snippet maps make-time arguments to configure and # build-type arguments # |