#*
#* rempl2k_mod-dbg mod_**
#*
#* compilation,
#* replacement du module mod_** dans la bibliothèque libcesam2k-dbg.a
#* création de cesam2k-dbg.out

echo 'compilation du/des module/s:'
foreach i ($*)
 echo $i.f
 compile2k-dbg_info $i
 lib_del_repl libcesam2k-dbg $i
end

exe2k-dbg cesam2k-dbg << mark
0
mark

#*