# get pipol systems
EXECUTE_PROCESS(COMMAND
ssh ${pipol_user}@pipol.inria.fr pipol-sub --query=systems
OUTPUT_VARIABLE PIPOL_SYSTEMS OUTPUT_STRIP_TRAILING_WHITESPACE)
# get pipol systems
EXECUTE_PROCESS(COMMAND
ssh ${pipol_user}@pipol.inria.fr pipol-sub --query=systems
OUTPUT_VARIABLE PIPOL_SYSTEMS OUTPUT_STRIP_TRAILING_WHITESPACE)