mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
a2f7919068
while I'm here, remove a whitespace to silence portlint PR: 55689 Submitted by: Joel Ray Holveck <joelh@piquan.org> Approved by: maintainer
14 lines
584 B
Plaintext
14 lines
584 B
Plaintext
bin/its
|
|
bin/its-user-install
|
|
%%PORTDOCS%%share/doc/klh10-ks-its/MIT-ITS-papers
|
|
%%PORTDOCS%%share/doc/klh10-ks-its/README.FIRST
|
|
@comment There's some hiccups if we try to specify an absolute
|
|
@comment filename here, so we cd first.
|
|
@cwd /
|
|
%%IMAGE_HOME%%/PI-ITS-RP06.0-dbd9.bz2
|
|
%%IMAGE_HOME%%/klh10-kn-freebsd.ini.in
|
|
@comment We specify to delete %%IMAGE_HOME%%. In most cases, it's the
|
|
@comment same as the klh10 port is using, so it won't be empty (and thus
|
|
@comment not deleted). This dirrm command is for the exceptions to that.
|
|
@unexec rmdir %D/%%IMAGE_HOME%% 2>/dev/null || true
|