equal
deleted
inserted
replaced
12 --) break |
12 --) break |
13 ;; |
13 ;; |
14 esac |
14 esac |
15 done |
15 done |
16 |
16 |
17 sed -e "s|@prefix@|$prefix|g" <Makefile.in >Makefile |
17 |
|
18 set -e |
|
19 umask 0333 |
|
20 sed -e "s|@prefix@|$prefix|g" <Makefile.in >Makefile.$$ |
|
21 rm -f Makefile |
|
22 mv Makefile.$$ Makefile |