diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 772cec3c471..42d7c33e46b 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -90,6 +90,10 @@ package_debian: package_pacman: cd build_files/package_spec/pacman ; MAKEFLAGS="-j$(NPROCS)" makepkg --asroot +package_archive: + cd $(BUILD_DIR) ; make -s package_archive + @echo archive in "$(BUILD_DIR)/release" + # forward build targets test: cd $(BUILD_DIR) ; ctest . --output-on-failure |