# $Id: Makefile 1827 2007-03-12 15:22:53Z bogdan_iancu $
#
# opt_rpl module makefile
#
#
# WARNING: do not run this directly, it should be run by the master Makefile

include ../../Makefile.defs

auto_gen=
NAME=options.so
LIBS=

include ../../Makefile.modules
