user_init_pre.sh 122 Bytes
Newer Older
1
2
3
cat InterfaceView.aadl.template | \
   sed "s,/home/taste/tool-inst,$(taste-config --prefix),g" > \
   InterfaceView.aadl