Diff

Differences From Artifact [14f5faeb84]:

To Artifact [bd160aecd4]:


36
37
38
39
40
41
42
43
BEFORE="build/pre.sh"

# This script is executed immediately prior to creation of the
# tarball
AFTER=""

# Files matching these (space-seperated) patterns are deleted
TMPS="*.out HEADER build work"







|
36
37
38
39
40
41
42
43
BEFORE="build/pre.sh"

# This script is executed immediately prior to creation of the
# tarball
AFTER=""

# Files matching these (space-seperated) patterns are deleted
TMPS="*.out HEADER build work INST"