diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2014-08-30 08:55:57 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-08-30 08:55:57 +0000 |
| commit | 8ffd5fe7a8fc2eb1297255c73b197f1e420c1451 (patch) | |
| tree | 013bbf369435662148aaa2348a737c9334b3a097 /Mk/Scripts/qa.sh | |
| parent | Fix filename conflict with dvi2tty installed by TeXLive. (diff) | |
Ignore references to stagedir in .fmt and .log files generated for tex formats
Those are harmless (records from which file they were generated from) and
removing them would require ugly hacks according to hrs@
PR: ports/192933
Differential Revision: https://reviews.freebsd.org/D684
Reviewed by: bapt, hrs
With hat: portmgr
Notes
Notes:
svn path=/head/; revision=366597
Diffstat (limited to 'Mk/Scripts/qa.sh')
| -rw-r--r-- | Mk/Scripts/qa.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Mk/Scripts/qa.sh b/Mk/Scripts/qa.sh index bf9bb26f7317..e7cf6dd12199 100644 --- a/Mk/Scripts/qa.sh +++ b/Mk/Scripts/qa.sh @@ -121,6 +121,8 @@ paths() { */lib/ruby/gems/*/Makefile) continue ;; */lib/ruby/gems/*/Makefile.html) continue ;; */lib/ruby/gems/*/mkmf.log) continue ;; + */share/texmf-var/web2c/*/*.fmt) continue ;; + */share/texmf-var/web2c/*/*.log) continue ;; esac err "'${f#${STAGEDIR}${PREFIX}/}' is referring to ${STAGEDIR}" rc=1 |