[isabelle-dev] Isabelle_25-Sep-2013 integration test

[Lars Noschinski]

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.

   -- Lars