tree c1690802b3196acda664156a5b828a0392089bb8
parent f5d5f5ae0e25d8bb205cde036b270d5c06ee4063
author Cosmin Truta <ctruta@gmail.com> 1590372585 -0400
committer Cosmin Truta <ctruta@gmail.com> 1590372585 -0400

ci: Verify the install target

Add support for the install target in ci_autotools.sh and ci_cmake.sh.
Also add the environment option CI_NO_INSTALL.