diff --git a/configure b/configure index 5c40fb2..55fcbc1 100755 --- a/configure +++ b/configure @@ -679,6 +679,7 @@ MUSL_CC vlibc_install_mode INSTALL_OVERWRITE_FALSE INSTALL_OVERWRITE_TRUE +vlibc_level vlibc_profile VLIBC_CFLAGS am__fastdepCC_FALSE @@ -5283,6 +5284,7 @@ esac + # ---- Install method ------------------------------------------------------ # "alongside" installs vlibc next to the system libc: headers and libraries go # under a vlibc-specific tree, used via the vlibc-gcc / vlibc-clang drivers. @@ -14467,7 +14469,7 @@ CC=$lt_save_CC -ac_config_files="$ac_config_files Makefile benchmarks/Makefile tools/vlibc-gcc tools/vlibc-clang" +ac_config_files="$ac_config_files Makefile benchmarks/Makefile include/vlibc/features.h tools/vlibc-gcc tools/vlibc-clang" # Make the generated compiler drivers executable. This must run after the @@ -15470,6 +15472,7 @@ do "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; "benchmarks/Makefile") CONFIG_FILES="$CONFIG_FILES benchmarks/Makefile" ;; + "include/vlibc/features.h") CONFIG_FILES="$CONFIG_FILES include/vlibc/features.h" ;; "tools/vlibc-gcc") CONFIG_FILES="$CONFIG_FILES tools/vlibc-gcc" ;; "tools/vlibc-clang") CONFIG_FILES="$CONFIG_FILES tools/vlibc-clang" ;; "chmod-vlibc-drivers") CONFIG_COMMANDS="$CONFIG_COMMANDS chmod-vlibc-drivers" ;;