test_scripts/other/do_make_syntax.sh

#! /usr/bin/env bash

# $Header:  $
# $Name:  $

#- create a copy of current Makefile with additional FFLAGS
if test Makefile_syntax -ot Makefile ; then
   echo -n '-- using new "Makefile_syntax",'
   sed 's/^FFLAGS =.*$/& -syntax-only/' Makefile > Makefile_syntax
else
   echo -n '-- use prev. "Makefile_syntax",'
fi
#- move away object files and remove "__genmod.mod" files:
( mkdir tmp ; ~/bin/rn .o .oSv .c ; mv -f *.o tmp
    ~/bin/rn .oSv .o ; rm -f *__genmod.mod ) > /dev/null 2>&1
#- make:
  echo " exec 'make -f Makefile_syntax $*':"
  make -f Makefile_syntax $*
  RETVAL=$?
#- move back object files:
( mv -f tmp/* . ; rmdir tmp )  > /dev/null 2>&1

exit $RETVAL
1	#! /usr/bin/env bash
2
3	# $Header: $
4	# $Name: $
5
6	#- create a copy of current Makefile with additional FFLAGS
7	if test Makefile_syntax -ot Makefile ; then
8	echo -n '-- using new "Makefile_syntax",'
9	sed 's/^FFLAGS =.*$/& -syntax-only/' Makefile > Makefile_syntax
10	else
11	echo -n '-- use prev. "Makefile_syntax",'
12	fi
13	#- move away object files and remove "__genmod.mod" files:
14	( mkdir tmp ; ~/bin/rn .o .oSv .c ; mv -f *.o tmp
15	~/bin/rn .oSv .o ; rm -f *__genmod.mod ) > /dev/null 2>&1
16	#- make:
17	echo " exec 'make -f Makefile_syntax $*':"
18	make -f Makefile_syntax $*
19	RETVAL=$?
20	#- move back object files:
21	( mv -f tmp/* . ; rmdir tmp ) > /dev/null 2>&1
22
23	exit $RETVAL