@($(MAKE) -C $(EXAMPLES_DIR) clean)
test:
+ @$(MAKE) -C $(SINWAVE_DIR) clean
@$(MAKE) -C $(SINWAVE_DIR)
@echo " You might want to check the output file with either:"
chk_extension file_in;;
let stdinput = fun (x : unit) ->
- let path = Unix.readlink "/proc/self/fd/0" in
+ let path = Unix.readlink "/dev/fd/0" in
if chk_input_path path then
( incr size_input;
inputs := !inputs @ [path] )
else true;;
let stdoutput = fun (x : unit) ->
- let path = Unix.readlink "/proc/self/fd/1" in
+ let path = Unix.readlink "/dev/fd/1" in
if chk_output_path path then stdout_filename := path
else ();;