mirror of
https://github.com/freebsd/freebsd-src
synced 2024-07-22 02:37:15 +00:00
0957b409a9
Disabled by default, used by loader and sbin/veriexec Reviewed by: emaste Sponsored by: Juniper Networks Differential Revision: D16334
12 lines
220 B
Bash
Executable file
12 lines
220 B
Bash
Executable file
#! /bin/sh
|
|
|
|
CSC=$(which mono-csc || which dmcs || echo "none")
|
|
|
|
if [ $CSC = "none" ]; then
|
|
echo "Error: Please install mono-devel."
|
|
exit 1
|
|
fi
|
|
|
|
set -e
|
|
$CSC /out:T0Comp.exe /main:T0Comp /res:T0/kern.t0,t0-kernel T0/*.cs
|