#!/bin/sh

echo "        Setting RedHat 8.0 specific flag values"

CPPFLAGS="${CPPFLAGS} -DFORPRENPTL"
syntax highlighted by Code2HTML, v. 0.9.1