[isabelle-dev] Isabelle_25-Sep-2013 integration test
noschinl at in.tum.de
Thu Sep 26 11:01:19 CEST 2013
On 26.09.2013 10:01, Peter Lammich wrote:
> I cannot unpack the tar-file. My Linux (Ubuntu 12.04.2 LTS) gives me a
> bunch of error messages:
> tar: Ignoring unknown extended header keyword `SCHILY.ino'
> tar: Ignoring unknown extended header keyword `SCHILY.nlink'
> tar: Ignoring unknown extended header keyword `SCHILY.dev'
This seems to happen when using GNU tar to unpack files created by the
OS X-version of tar and is not an error. This irritating warning can be
avoided by using GNU tar to build the tar files (obviously), or
reportedly by playing around with the --format option of tar.
More information about the isabelle-dev