diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-06-01 23:06:30 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-06-01 23:06:30 +0200 |
commit | 0b9dad593e5cec7345f33b3ce1545ef2849d3696 (patch) | |
tree | d7eee9506e867099ca651452f38395880e0141d8 /modules/configure.ac | |
parent | a6a16c807797c5181f8b86e18202b3ae063f1a43 (diff) |
Add simple Python executable.
* modules/python.in: New file.
* modules/configure.ac: Configure it.
* .gitignore: Hide generated file.
Diffstat (limited to 'modules/configure.ac')
-rw-r--r-- | modules/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/configure.ac b/modules/configure.ac index 5245123..9d483d0 100644 --- a/modules/configure.ac +++ b/modules/configure.ac @@ -13,6 +13,7 @@ GUILE_PKG([3.0 2.2 2.1 2.0]) GUILE_PROGS AC_CONFIG_FILES([Makefile]) +AC_CONFIG_FILES([python], [chmod +x python]) AC_CONFIG_FILES([env], [chmod +x env]) AC_OUTPUT |