summaryrefslogtreecommitdiff
path: root/linux/configure
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1999-05-22 23:35:45 +0000
committerRoland McGrath <roland@gnu.org>1999-05-22 23:35:45 +0000
commit228ab88cfdd424ff9585e0cd54a0ac8e22924de0 (patch)
treea322b09d5682b62415b3e6279341261c84813b08 /linux/configure
parentc903b6d8958a17707756e4fbead431f5473478a7 (diff)
1999-05-22 Roland McGrath <roland@baalperazim.frob.com>
* linux/configure: Regenerated.
Diffstat (limited to 'linux/configure')
-rwxr-xr-xlinux/configure8
1 files changed, 4 insertions, 4 deletions
diff --git a/linux/configure b/linux/configure
index 7dc7830..0bf34cc 100755
--- a/linux/configure
+++ b/linux/configure
@@ -693,8 +693,8 @@ done
ac_given_srcdir=$srcdir
-trap 'rm -fr `echo "src/.dummy:dummy dev/.dummy:dummy
- src/include/.dummy:dummy dev/include/.dummy:dummy" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
+trap 'rm -fr `echo "src/.dummy:dummy.in dev/.dummy:dummy.in
+ src/include/.dummy:dummy.in dev/include/.dummy:dummy.in" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
EOF
cat >> $CONFIG_STATUS <<EOF
@@ -771,8 +771,8 @@ EOF
cat >> $CONFIG_STATUS <<EOF
-CONFIG_FILES=\${CONFIG_FILES-"src/.dummy:dummy dev/.dummy:dummy
- src/include/.dummy:dummy dev/include/.dummy:dummy"}
+CONFIG_FILES=\${CONFIG_FILES-"src/.dummy:dummy.in dev/.dummy:dummy.in
+ src/include/.dummy:dummy.in dev/include/.dummy:dummy.in"}
EOF
cat >> $CONFIG_STATUS <<\EOF
for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then