#!/bin/sh
#
# Copyright (C) 1990 Department of Computer Science, University of Queensland

echo "/*
 * Copyright (C) 19`date +%y` Department of Computer Science, University of Queensland
 */
"

echo '#ifndef	OPCODES_H'
echo '#define	OPCODES_H'
echo
grep '^	when' |
	cat -n |
	sed 's/ *\([0-9]*\)		when \(.*\):.*/#define \2 \1/'
echo
echo '#endif	/* OPCODES_H */'
