diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-03-15 07:22:39 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-03-15 07:22:39 +0000 |
commit | 8d8c16f40430e328b7579283663eed7a446d7c42 (patch) | |
tree | 239ccdf833cbeeed7f8eb54b0932155fc91a982c /Build/source/texk/devnag/configure | |
parent | 299c72606f472306aedefa4df48651638a1d2d50 (diff) |
devnag: Add a 'make check' test case
git-svn-id: svn://tug.org/texlive/trunk@29397 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/devnag/configure')
-rwxr-xr-x | Build/source/texk/devnag/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/devnag/configure b/Build/source/texk/devnag/configure index 3c6ef53ae18..8638310ea70 100755 --- a/Build/source/texk/devnag/configure +++ b/Build/source/texk/devnag/configure @@ -4732,7 +4732,7 @@ fi done -ac_config_files="$ac_config_files Makefile src/Makefile" +ac_config_files="$ac_config_files Makefile" cat >confcache <<\_ACEOF @@ -5471,7 +5471,6 @@ do "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; - "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; esac |