view src/DLD-FUNCTIONS/config-module.sh @ 10527:b4d2080b6df7

Replace nzmax by nnz as needed
author David Bateman <dbateman@free.fr>
date Fri, 16 Apr 2010 16:14:45 +0200
parents 1ed7cc046c52
children b67c2d580a25
line wrap: on
line source

#! /bin/sh

set -e

: ${AWK=awk}

if [ $# -eq 1 ]; then
  top_srcdir="$1";
else
  top_srcdir="../.."
fi

dld_dir=$top_srcdir/src/DLD-FUNCTIONS

$AWK -f $dld_dir/config-module.awk < $dld_dir/module-files > $dld_dir/module.mk-t

$top_srcdir/move-if-change $dld_dir/module.mk-t $dld_dir/module.mk