Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: tags/3.12.1
Fetching contributors…

Cannot retrieve contributors at this time

executable file 10 lines (9 sloc) 0.262 kB
#!/bin/sh
# $Id$
echo 'let builtin_exceptions = [|'; \
sed -n -e 's|.*/\* \("[A-Za-z_]*"\) \*/$| \1;|p' byterun/fail.h | \
sed -e '$s/;$//'; \
echo '|]'; \
echo 'let builtin_primitives = [|'; \
sed -e 's/.*/ "&";/' -e '$s/;$//' byterun/primitives; \
echo '|]'
Jump to Line
Something went wrong with that request. Please try again.