blob: b815bdb6e3d201e0fc712a01b866dbef6959ca53 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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
|
