tree 362fc9e7d9e13cefc0d9dc029dc094c52c8ca37b
parent 2dd5630eae2a1bafbfb00eee168e1936d3855f02
author Cosmin Truta <ctruta@gmail.com> 1585535192 -0400
committer Cosmin Truta <ctruta@gmail.com> 1585535192 -0400

scripts: Fix makefile.std and include it in the CI verification