aboutsummaryrefslogtreecommitdiffstats
path: root/util/manibuilder/mani-wrapper.sh
blob: c3f583401992059493efc1a578e33bf3363996c7 (plain)
1
2
3
4
5
6
7
8
9
#!/bin/sh

cd /home/mani/flashrom/

if [ $# -eq 0 ]; then
	exec "${DEVSHELL}"
else
	exec "${DEVSHELL}" -c "$*"
fi