diff options
Diffstat (limited to 'src/scripts/genfiles.sh')
| -rwxr-xr-x | src/scripts/genfiles.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/genfiles.sh b/src/scripts/genfiles.sh index f9cdecf..f5fab86 100755 --- a/src/scripts/genfiles.sh +++ b/src/scripts/genfiles.sh | |||
| @@ -95,6 +95,7 @@ generate_makefile_config() | |||
| 95 | echo "DISKTYPE ?= ${CONFIG_PART_TYPE}" | 95 | echo "DISKTYPE ?= ${CONFIG_PART_TYPE}" |
| 96 | echo "PARTSIZE ?= ${CONFIG_PART_SIZE}" | 96 | echo "PARTSIZE ?= ${CONFIG_PART_SIZE}" |
| 97 | echo "TLSCHECK ?= ${CONFIG_TLS_CHECK}" | 97 | echo "TLSCHECK ?= ${CONFIG_TLS_CHECK}" |
| 98 | echo "RUN_ISOHYBRID ?= ${CONFIG_RUN_ISOHYBRID}" | ||
| 98 | 99 | ||
| 99 | # define standard dependencies | 100 | # define standard dependencies |
| 100 | STD_DEP_FILES="src/scripts/genfiles.sh" | 101 | STD_DEP_FILES="src/scripts/genfiles.sh" |
