[patch] crossdev-patch

crossdev.patch (text/plain), 711 bytes, created by Wazco on 2019-03-16 06:24:24 UTC

--- a/config/configure.in	2019-03-16 01:36:07.893770194 +0000
+++ b/config/configure.in	2019-03-16 01:36:07.900770182 +0000
@@ -31,12 +31,12 @@
 	 else
            for d in ${prefix}/include/OpenSP /usr/local/include/OpenSP \
              /usr/include/OpenSP; do
-	     AC_CHECK_FILE($d, [SPINCLUDEDIR="$d"; break])
+             AS_IF(test -r $d, [SPINCLUDEDIR="$d"; break])
 	   done
          fi],
         [for d in ${prefix}/include/OpenSP /usr/local/include/OpenSP \
            /usr/include/OpenSP; do
-	   AC_CHECK_FILE($d, [SPINCLUDEDIR="$d"; break])
+	   AS_IF(test -r $d, [SPINCLUDEDIR="$d"; break])
 	 done])
 if test x${SPINCLUDEDIR} = x; then
   AC_MSG_ERROR("OpenSP include files do not exist")