@ -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)\