-rwxr-xr-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -127,6 +127,8 @@ fi | |||
127 | 127 | ||
128 | if [ -f library/custom-$PLATFORM.h ] | 128 | CUSTOM=`echo $PLATFORM | sed -n -e "s/.*-\(.*\)-.*/\1/p"` |
129 | |||
130 | if [ -f library/custom-$CUSTOM.h ] | ||
129 | then | 131 | then |
130 | rm -f library/custom.h | 132 | rm -f library/custom.h |
131 | ln -s custom-$PLATFORM.h library/custom.h | 133 | ln -s custom-$CUSTOM.h library/custom.h |
132 | fi | 134 | fi |