[pan/test2] Run make dist to avoid missing out on renamed files in EXTRA_DIST




commit ce41b37b8cfc88b22ee96ca6012b7d8444de5775
Author: Petr Kovar <pkovar redhat com>
Date:   Mon Dec 6 19:12:33 2021 +0100

    Run make dist to avoid missing out on renamed files in EXTRA_DIST

 .gitlab-ci.yml | 6 ++----
 autogen.sh     | 4 ++++
 2 files changed, 6 insertions(+), 4 deletions(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1aa35af..d5a9e92 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,8 +22,7 @@ build-ubuntu-gtk2:
         yelp-tools
   script:
     - ./autogen.sh --without-gtk3 --with-gnutls --with-dbus --with-gmime-crypto --with-gtkspell 
--enable-libnotify --enable-gkr --enable-manual
-    - make
-    - make check
+    - make && make distcheck
 
 build-ubuntu-gtk3:
   image: ubuntu:rolling
@@ -50,5 +49,4 @@ build-ubuntu-gtk3:
 
   script:
     - ./autogen.sh --with-gtk3 --with-gnutls --with-dbus --with-gmime-crypto --with-gtkspell 
--enable-libnotify --enable-gkr --enable-manual
-    - make
-    - make check
+    - make distcheck
diff --git a/autogen.sh b/autogen.sh
index 6f8dff2..4343bc4 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -8,6 +8,10 @@ olddir=$(pwd)
 
 cd $srcdir
 
+if [ ! -f "pan-git.version" ] ; then
+  touch pan-git.version
+fi
+
 (test -f $srcdir/Makefile.am && test -d $srcdir/pan) || {
     echo -n "**Error**: Directory "\`$srcdir\'" does not look like the"
     echo " top-level Pan directory"


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]