Enabled VPATH feature: changed nearly all Makefiles (149 files).

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

diff --git a/device/lib/pic/configure b/device/lib/pic/configure
index 483cd92e4ef7a1a2ba16a5f7f1df81c726286ec4..ec95ff6675eb1980792d0a8d4a231f212e5a6851 100755 (executable)
--- a/device/lib/pic/configure
+++ b/device/lib/pic/configure
@@ -1633,7 +1633,8 @@ fi
 # Checks for typedefs, structures, and compiler characteristics.
 
 # Checks for library functions.
-                    ac_config_files="$ac_config_files Makefile.common libdev/Makefile"
+
+                                        ac_config_files="$ac_config_files Makefile Makefile.common libdev/Makefile libsdcc/Makefile"
 
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure
@@ -2185,8 +2186,10 @@ for ac_config_target in $ac_config_targets
 do
   case "$ac_config_target" in
   # Handling of arguments.
+  "Makefile" ) CONFIG_FILES="$CONFIG_FILES Makefile" ;;
   "Makefile.common" ) CONFIG_FILES="$CONFIG_FILES Makefile.common" ;;
   "libdev/Makefile" ) CONFIG_FILES="$CONFIG_FILES libdev/Makefile" ;;
+  "libsdcc/Makefile" ) CONFIG_FILES="$CONFIG_FILES libsdcc/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; }; };;