#!/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 ./PepDev32/pepbld.sh ] && (cd PepDev32 ; sudo ./pepbld.sh ; cd ../)