From 366caf1ceec2d9119f18c5179ce63d225fd20c81 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 15 Nov 2022 09:23:33 +0100
Subject: [PATCH] [dev] make-distrib.sh: warn about uncommitted changes

---
 dev/make-distrib.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/dev/make-distrib.sh b/dev/make-distrib.sh
index 391182f63a0..3b2b12e9932 100755
--- a/dev/make-distrib.sh
+++ b/dev/make-distrib.sh
@@ -71,6 +71,18 @@ if [ "" != "$IGNORED_FILES" ]; then
 fi
 
 ################################################################################
+
+################################################################################
+# Warn if there are uncommitted changes (will not be taken into account)
+
+GIT_STATUS="$(git status --porcelain)"
+if [ "" != "$GIT_STATUS" ]; then
+    echo "WARNING: uncommitted changes will be IGNORED when making archive:"
+    echo "$GIT_STATUS"
+fi
+
+################################################################################
+
 # Prepare archive
 
 git archive HEAD -o $FRAMAC_TAR --prefix "$FRAMAC/"
-- 
GitLab