diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-28 23:35:31 -0400 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-28 23:35:31 -0400 |
commit | 8de3c728cca39377b7e837f08437e02f0440d894 (patch) | |
tree | ec43d1887293950c27a26605c821b6645f675498 | |
parent | 28af7187e365f946e23c302cf6f53301ad3255b9 (diff) | |
download | dejagnu-8de3c728cca39377b7e837f08437e02f0440d894.zip dejagnu-8de3c728cca39377b7e837f08437e02f0440d894.tar.gz dejagnu-8de3c728cca39377b7e837f08437e02f0440d894.tar.bz2 |
Regenerate build system files
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4f7e1f7..04d917f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -368,7 +368,7 @@ top_srcdir = @top_srcdir@ AUTOMAKE_OPTIONS = dejagnu # record all files in the distribution tarball as owned by root -TAR_OPTIONS = --owner=0 --group=0 +TAR_OPTIONS = --format=v7 --owner=0 --group=0 EXTRA_DIST = ChangeLog-1992 MAINTAINERS dejagnu runtest \ $(pkgdata_DATA) $(config_DATA) $(baseboard_DATA) \ $(commands_DATA) $(TESTSUITE_FILES) $(TEXINFO_TEX)\ |