summaryrefslogtreecommitdiff
path: root/web/spiderweb/src/turing+/make
blob: 5c74e37aa9f7725da94383fcc1c9c496768b476b (plain)
1
2
3
#!/bin/sh
/bin/make -f ../master/WebMakefile CPUTYPE=`cputype`\
 THETANGLE=turing+tangle THEWEAVE=turing+weave SPIDER=turing+.spider "$@"