diff options
| author | Yang Tse <yangsita@gmail.com> | 2012-12-26 23:30:54 +0100 |
|---|---|---|
| committer | Yang Tse <yangsita@gmail.com> | 2012-12-26 23:30:54 +0100 |
| commit | ae2a2c99317a611b5b6a4780df1a907a241de91b (patch) | |
| tree | 58fb14c2f3797a05978df974017b622f7280d5e3 /src/CMakeLists.txt | |
| parent | eb5aa12c8baddeba13594e515e8b0a7d94949177 (diff) | |
| download | curl-ae2a2c99317a611b5b6a4780df1a907a241de91b.tar.gz | |
curl tool: renaming hugehelp files to tool_hugehelp
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index eb6933e69..93f86cbad 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,11 +1,11 @@ set(EXE_NAME curl) -# First try to locate hugehelp.c to see if it has already been created +# First try to locate tool_hugehelp.c to see if it has already been created # TODO Find the file WITHOUT adding a cache entry!!! Or else the user can delete the file after the script was first run, and the script won't notice it has gone. -find_file(HUGEHELP_C_FILE hugehelp.c PATHS . NO_DEFAULT_PATH) +find_file(HUGEHELP_C_FILE tool_hugehelp.c PATHS . NO_DEFAULT_PATH) if (NOT HUGEHELP_C_FILE) - message(STATUS "Warning: hugehelp.c file was not generated before. Generating an 'empty' file...") - file(WRITE hugehelp.c "/* built-in manual is disabled, blank function */\n#include \"hugehelp.h\"\nvoid hugehelp(void) {}\n\n") + message(STATUS "Warning: tool_hugehelp.c file was not generated before. Generating an 'empty' file...") + file(WRITE tool_hugehelp.c "/* built-in manual is disabled, blank function */\n#include \"tool_hugehelp.h\"\nvoid hugehelp(void) {}\n\n") endif() transform_makefile_inc("Makefile.inc" "${CMAKE_CURRENT_BINARY_DIR}/Makefile.inc.cmake") |