diff options
| author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-19 17:01:22 -0400 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-19 17:01:22 -0400 |
| commit | 800375b4a1569cf244596630b0c3fd1438f8d930 (patch) | |
| tree | 0579e114cb150cbd7b428eb7739d3da3bf11f8f3 /Makefile | |
| parent | c00e89fc893092ef2efb74939efd2282dcbe6e92 (diff) | |
add support for pgm
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -20,7 +20,7 @@ LITMUS_KERNEL ?= ../litmus-rt | |||
| 20 | 20 | ||
| 21 | # compiler flags | 21 | # compiler flags |
| 22 | flags-debug = -O0 -Wall -g -Wdeclaration-after-statement | 22 | flags-debug = -O0 -Wall -g -Wdeclaration-after-statement |
| 23 | flags-api = -D_XOPEN_SOURCE=600 -D_GNU_SOURCE | 23 | flags-api = -D_XOPEN_SOURCE=600 -D_GNU_SOURCE -DCONFIG_PGMRT_SUPPORT |
| 24 | 24 | ||
| 25 | # architecture-specific flags | 25 | # architecture-specific flags |
| 26 | flags-i386 = -m32 | 26 | flags-i386 = -m32 |