PepMiniiso/PepDev_arm64.sh

9 lines
258 B
Bash
Raw Normal View History

2023-03-28 12:48:46 +00:00
#!/bin/bash
# This is a helper script used to do the actual build.
# By running this script , as "sudo" you can easily build a new PeppermintOS ISO from our CI|CD pipeline.
[ -x ./PepDev_arm64/pepbld.sh ] && (cd PepDev_arm64 ; sudo ./pepbld.sh ; cd ../)