--- uae/configure	2018/04/24 16:39:37	1.1.1.4
+++ uae/configure	2018/04/24 16:40:35	1.1.1.5
@@ -4659,16 +4659,17 @@ rm -f src/osdep
 rm -f src/threaddep
 rm -f src/sounddep
 rm -f src/target.h
+rm -f src/config.h
 
 if [ "x$TARGET" = "xamigaos" -o "x$TARGET" = "xp_os" ]; then
     echo $ac_n "checking which CPU to use""... $ac_c" 1>&6
-echo "configure:4666: checking which CPU to use" >&5
+echo "configure:4667: checking which CPU to use" >&5
   cpu=`cpu | cut -d' ' -f2`
   echo "$ac_t""$cpu" 1>&6
   CFLAGS="$CFLAGS -m$cpu"
 
     echo $ac_n "checking which FPU to use""... $ac_c" 1>&6
-echo "configure:4672: checking which FPU to use" >&5
+echo "configure:4673: checking which FPU to use" >&5
   fpu=`cpu | cut -d' ' -f3 | grep '^688812$'`
   if [ "x$fpu" != "x" ]; then
         echo "$ac_t""68881" 1>&6
@@ -5083,6 +5084,7 @@ ln -s $abssrcdir/src/$OSDEP src/osdep
 ln -s $abssrcdir/src/$THREADDEP src/threaddep
 ln -s $abssrcdir/src/$SOUNDDEP src/sounddep
 ln -s $abssrcdir/src/targets/$TARGETDEP src/target.h
+ln -s $abssrcdir/config.h src/config.h
 
 echo
 echo