diff options
Diffstat (limited to 'server')
| -rwxr-xr-x | server/export_target | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/export_target b/server/export_target index 80ffd7ae..f177bbfd 100755 --- a/server/export_target +++ b/server/export_target @@ -88,7 +88,7 @@ generate_addons() { export_target() { initial_checks -#copy_kernel +copy_kernel TARGET=$1 [ -d ${SERVER_BUILD_DIR}/${TARGET} ] || perror "Given target directory does not exist: ${SERVER_BUILD_DIR}/${TARGET}" |