* .version: bumped version to 2.5.6 (pic14 ABI changed)

[fw/sdcc] / device / lib / pic / configure

diff --git a/device/lib/pic/configure b/device/lib/pic/configure
index 9c6b1cdf7ef020aba711db5da829fd5c46906fc7..483cd92e4ef7a1a2ba16a5f7f1df81c726286ec4 100755 (executable)
--- a/device/lib/pic/configure
+++ b/device/lib/pic/configure
@@ -1633,8 +1633,7 @@ fi
 # Checks for typedefs, structures, and compiler characteristics.
 
 # Checks for library functions.
-
-          ac_config_files="$ac_config_files Makefile.common"
+                    ac_config_files="$ac_config_files Makefile.common libdev/Makefile"
 
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure
@@ -2187,6 +2186,7 @@ do
   case "$ac_config_target" in
   # Handling of arguments.
   "Makefile.common" ) CONFIG_FILES="$CONFIG_FILES Makefile.common" ;;
+  "libdev/Makefile" ) CONFIG_FILES="$CONFIG_FILES libdev/Makefile" ;;
   *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5
 echo "$as_me: error: invalid argument: $ac_config_target" >&2;}
    { (exit 1); exit 1; }; };;