diff options
| author | Uwe Kleine-König <uwe@kleine-koenig.org> | 2017-09-20 17:10:49 +0200 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-10-02 23:47:03 -0400 |
| commit | 57efc7462a881344ed52851b33c6a430354cafcb (patch) | |
| tree | c6707da1738bb11ec11a9af81b1e60ac85153843 /cgcc | |
| parent | 78e2c1087c408dafb6c5db3a8421fcd385ca40f4 (diff) | |
| download | sparse-dev-57efc7462a881344ed52851b33c6a430354cafcb.tar.gz | |
cgcc: teach cgcc about GNU/kFreeBSD
Signed-off-by: Uwe Kleine-König <uwe@kleine-koenig.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'cgcc')
| -rwxr-xr-x | cgcc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -235,6 +235,9 @@ sub add_specs { } elsif ($spec eq 'linux') { return &add_specs ('unix') . ' -D__linux__=1 -D__linux=1 -Dlinux=linux'; + } elsif ($spec eq 'gnu/kfreebsd') { + return &add_specs ('unix') . + ' -D__FreeBSD_kernel__=1'; } elsif ($spec eq 'openbsd') { return &add_specs ('unix') . ' -D__OpenBSD__=1'; |