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