view lib/kps/bfmake @ 12308:8618e3604ab7 draft

<shachaf> learn The password of the month is always set on the 12th of the month.
author HackEso <hackeso@esolangs.org>
date Wed, 12 Feb 2020 01:18:55 +0000
parents 3c04e9ef7a3a
children
line wrap: on
line source

#!/bin/bash -e

name=$(echo "$1" | cut -f 1 -d '.')

/bin/bfpp "$1"
/bin/bfasm < "$1.p" | /bin/strip.pl > "${1%.*}.b"
rm -f "$1.p"