silence an annoying cmake warning#1312

nunoplopes merged 1 commit into

AliveToolkit:masterAliveToolkit/alive2:masterfrom

regehr:suppress-cmake-warningregehr/alive2:suppress-cmake-warningCopy head branch name to clipboard