equal
deleted
inserted
replaced
35 if ! [ -f "config.cache" ]; then |
35 if ! [ -f "config.cache" ]; then |
36 echo "can't reconfigure, because never configured before" |
36 echo "can't reconfigure, because never configured before" |
37 exit 1 |
37 exit 1 |
38 fi |
38 fi |
39 # Make sure we don't lock config.cache |
39 # Make sure we don't lock config.cache |
40 cat config.cache > cache.tmp |
40 cat config.cache | sed 's/\\ /\\\\ /g' > cache.tmp |
41 sh cache.tmp |
41 sh cache.tmp |
42 rm -f cache.tmp |
42 rm -f cache.tmp |
43 exit $? |
43 exit $? |
44 fi |
44 fi |
45 |
45 |