# $Id: Makefile 2 2005-06-13 16:47:24Z 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
