#!/bin/bash

#-- This is the local options file for the "new" version of genmake

USE_DIVA=1
#TAF_EXTRA='-version 2.9.3'
