-
GILLES Sebastien authored
#1217 Fix the compiler choice: it wasn't working as expected (namely command line may supersede the Paths file).
6478cd4e
#1217 Fix the compiler choice: it wasn't working as expected (namely command line may supersede the Paths file).