-
Bug
-
Resolution: Fixed
-
P3
-
1.4-pool
-
None
-
a
-
generic
-
generic
-
Verified
The "-rev" option was being set in the body of the trigger script "check_nightly.sh", which was missed in recent updates of the script, moving 1.4.2_24 to the secondary build, replacing 1.4.2_22-rev. The "-rev" option should be set at the top of the script, with the rest of the meta data, to avoid such future mistriggers.