#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!
main="$1"; shift
rm -f "$main"
cc -fno-common -shared -Wl,-soname,$main -o "$main" ${1+"$@"}