Remove .git directory from cloned sources
authorMathieu Baudier <mbaudier@argeo.org>
Wed, 19 Oct 2022 06:35:55 +0000 (08:35 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Wed, 19 Oct 2022 06:35:55 +0000 (08:35 +0200)
rebuild/org.argeo.tp/Makefile

index 67463cf27a88068e73512bf6b3c99ff8785ff3a9..c152353fd995b12b5afd3f9842b5c8c907e7af29 100644 (file)
@@ -13,6 +13,7 @@ retrieve-ee4j-mbox:
        #echo "mbox" >> $(SRC_DIR)/.git/info/sparse-checkout
        #git -C $(SRC_DIR) pull origin 1.6.7
        git clone --branch 1.6.7 https://github.com/eclipse-ee4j/mail.git $(SRC_DIR)
+       rm -rf $(SRC_DIR)/.git
        rsync -a --delete --exclude module-info.java $(SRC_DIR)/mbox/src/main/java/ com.sun.mail.mbox/src
 
 A2_CATEGORY = org.argeo.tp