… | |
… | |
9861 | |
9861 | |
9862 | |
9862 | |
9863 | |
9863 | |
9864 | |
9864 | |
9865 | |
9865 | |
9866 | ac_config_files="$ac_config_files Makefile po/Makefile.in src/Makefile src/rohc/Makefile doc/Makefile lib/Makefile m4/Makefile" |
9866 | ac_config_files="$ac_config_files Makefile po/Makefile.in src/Makefile doc/Makefile lib/Makefile m4/Makefile" |
9867 | |
9867 | |
9868 | cat >confcache <<\_ACEOF |
9868 | cat >confcache <<\_ACEOF |
9869 | # This file is a shell script that caches the results of configure |
9869 | # This file is a shell script that caches the results of configure |
9870 | # tests run on this system so they can be shared between configure |
9870 | # tests run on this system so they can be shared between configure |
9871 | # scripts and configure runs, see configure's option --config-cache. |
9871 | # scripts and configure runs, see configure's option --config-cache. |
… | |
… | |
10450 | case "$ac_config_target" in |
10450 | case "$ac_config_target" in |
10451 | # Handling of arguments. |
10451 | # Handling of arguments. |
10452 | "Makefile" ) CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
10452 | "Makefile" ) CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
10453 | "po/Makefile.in" ) CONFIG_FILES="$CONFIG_FILES po/Makefile.in" ;; |
10453 | "po/Makefile.in" ) CONFIG_FILES="$CONFIG_FILES po/Makefile.in" ;; |
10454 | "src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; |
10454 | "src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; |
10455 | "src/rohc/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/rohc/Makefile" ;; |
|
|
10456 | "doc/Makefile" ) CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; |
10455 | "doc/Makefile" ) CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; |
10457 | "lib/Makefile" ) CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
10456 | "lib/Makefile" ) CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
10458 | "m4/Makefile" ) CONFIG_FILES="$CONFIG_FILES m4/Makefile" ;; |
10457 | "m4/Makefile" ) CONFIG_FILES="$CONFIG_FILES m4/Makefile" ;; |
10459 | "default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;; |
10458 | "default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;; |
10460 | "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; |
10459 | "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; |