hints/gnukfreebsd.sh


1
2
3
4
5
6
7
8
9
10

#! /bin/sh

# Support for Debian GNU/kFreeBSD (kfreebsd-gnu)
# A port of the Debian GNU system using the FreeBSD kernel.

. ./hints/linux.sh

# Configure sets these where $osname = linux
ccdlflags='-Wl,-E'
lddlflags='-shared'