equal
deleted
inserted
replaced
85 make compiler && \ |
85 make compiler && \ |
86 make install; } || fail "Build failed" |
86 make install; } || fail "Build failed" |
87 ) |
87 ) |
88 |
88 |
89 mkdir -p "$TARGET" |
89 mkdir -p "$TARGET" |
|
90 for X in "$TARGET"/* |
|
91 do |
|
92 [ -d "$X" ] && rm -rf "$X" |
|
93 done |
|
94 rm -rf "$TARGET/polyml" |
|
95 cp -a "$THIS/polyi" "$TARGET/" |
90 mv "$SOURCE/$TARGET/bin/"* "$TARGET/" |
96 mv "$SOURCE/$TARGET/bin/"* "$TARGET/" |
91 mv "$SOURCE/$TARGET/lib/"* "$TARGET/" |
97 mv "$SOURCE/$TARGET/lib/"* "$TARGET/" |
92 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib" |
98 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib" |
93 rm -rf "$SOURCE/$TARGET/share" |
99 rm -rf "$SOURCE/$TARGET/share" |
94 |
100 |