view libinterp/dldfcn/config-module.sh @ 19756:701b43ce4467

properly close audio files * audioread.cc (Faudioread, Faudiowrite, Faudioinfo): Check that file was opened. Use unwind_protect to close file.
author John W. Eaton <jwe@octave.org>
date Fri, 09 Jan 2015 14:11:19 -0500
parents 2fc554ffbc28
children
line wrap: on
line source

#! /bin/sh

set -e

: ${AWK=awk}

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

move_if_change="$top_srcdir/build-aux/move-if-change"

dld_dir=$top_srcdir/libinterp/dldfcn

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

$move_if_change $dld_dir/module.mk-t $dld_dir/module.mk