Changeset 3210 for palm/trunk/SCRIPTS/palmbuild

Timestamp:

Aug 28, 2018 7:31:13 AM (6 years ago)

Author:

sward

Message:

Minor bugfix in agent_preprocessing

File:

• palm/trunk/SCRIPTS/palmbuild (modified) (2 diffs)

palm/trunk/SCRIPTS/palmbuild

@@ -27 +27 @@
 # -----------------
 # $Id$
+# Bugfix: agent_preprocessing stays in MAKE_DEPOSITORY after compilation
+# 
+# 3208 2018-08-27 13:10:50Z sward
 # Added building of agent_preprocessing
 # 
@@ -568 +571 @@
           fi
        fi
-       mv agent_preprocessing $source_path/../SCRIPTS/.
-
 
           # NOW COMPILE THE PALM CODE