diff options
Diffstat (limited to 'config/companion_tools/m4.in')
-rw-r--r-- | config/companion_tools/m4.in | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/config/companion_tools/m4.in b/config/companion_tools/m4.in new file mode 100644 index 0000000..b99a466 --- /dev/null +++ b/config/companion_tools/m4.in @@ -0,0 +1,26 @@ +# GNU m4 + +## help GNU m4 + +choice + bool + prompt "m4 version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW + +config M4_V_1_4_17 + bool + prompt "1.4.17" + +config M4_V_1_4_13 + bool + prompt "1.4.13" + +endchoice + +config M4_VERSION + string +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW + default "1.4.17" if M4_V_1_4_17 + default "1.4.13" if M4_V_1_4_13 |