diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-10-04 23:12:15 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-10-04 23:12:15 +0200 |
| commit | f4544767b4c38be75aa6566558f353682b8c4412 (patch) | |
| tree | d94e621da65e8ecc347476fdb8a41a0551d1365d /.gitignore | |
| parent | ab90f87c4112ac522c111a032b259d965b6f54e1 (diff) | |
Add `pre-inst-env' script.
* pre-inst-env.in: New file.
* configure.ac: Add it to `AC_CONFIG_FILES' and `AC_CONFIG_COMMANDS'.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9a7cb18c0f..9bd55bc311 100644 --- a/.gitignore +++ b/.gitignore @@ -38,3 +38,4 @@ config.cache /tests/*.trs /INSTALL /m4/* +/pre-inst-env |