Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: 3.12.1
Fetching contributors…

Cannot retrieve contributors at this time

executable file 9 lines (9 sloc) 0.262 kb
1 2 3 4 5 6 7 8 9
#!/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 '|]'
Something went wrong with that request. Please try again.