blob: 4882a5abe95bbfebf7b0c2bf80dc6f9f948169a4 (
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.
@dirrmtry %%IMAGE_HOME%%
|
