Revision 8f1a32dc3db03993f4fa5fddf501eeb1b071dc13

Committed on 18/12/2015 4:44 am by Vidar Langseid <[email protected]> [GitHub Diff]

Fixed typo introduced in 54efa3604f1ee1906245f00763cf1b079e5f2e6c causing run.sh to misbehave if SKIP_INITIALIZING_VAR was not set