equal
deleted
inserted
replaced
89 @echo "----------------" |
89 @echo "----------------" |
90 @echo "The system detected that source.list or any configure file is altered." |
90 @echo "The system detected that source.list or any configure file is altered." |
91 @echo " Going to reconfigure with last known settings..." |
91 @echo " Going to reconfigure with last known settings..." |
92 @echo "----------------" |
92 @echo "----------------" |
93 # Make sure we don't lock config.cache |
93 # Make sure we don't lock config.cache |
94 @$(shell cat config.cache | sed 's/\\ /\\\\ /g') || exit 1 |
94 @$(shell cat config.cache | sed 's#\\ #\\\\ #g') || exit 1 |
95 @echo "----------------" |
95 @echo "----------------" |
96 @echo "Reconfig done. Please re-execute make." |
96 @echo "Reconfig done. Please re-execute make." |
97 @echo "----------------" |
97 @echo "----------------" |
98 else |
98 else |
99 @echo "----------------" |
99 @echo "----------------" |