diff options
| author | antoine <antoine@FreeBSD.org> | 2014-08-30 16:55:57 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-08-30 16:55:57 +0800 |
| commit | ca2011a001d92ff1cda47461fb3c77ca30be060d (patch) | |
| tree | 013bbf369435662148aaa2348a737c9334b3a097 /Mk/Scripts | |
| parent | 19e81358a2d700887a19ae219f6697cb1bac41b9 (diff) | |
| download | freebsd-ports-gnome-ca2011a001d92ff1cda47461fb3c77ca30be060d.tar.gz freebsd-ports-gnome-ca2011a001d92ff1cda47461fb3c77ca30be060d.tar.zst freebsd-ports-gnome-ca2011a001d92ff1cda47461fb3c77ca30be060d.zip | |
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
Diffstat (limited to 'Mk/Scripts')
| -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 |