Commit 7eefec20 by Marvin Scholz

Update: Replace echo with more portable AS_ECHO

parent 2c9d33ef
Pipeline #259 failed with stage
in 11 seconds