extract shared pip_create_dump_file from piplib.c and maind.c
commitaa5b1e4670b9fbf5a921758bfc9367a804101fc3
authorSven Verdoolaege <sven@cs.kuleuven.be>
Sat, 22 Nov 2008 17:06:16 +0000 (22 18:06 +0100)
committerSven Verdoolaege <sven@cs.kuleuven.be>
Wed, 26 Nov 2008 17:22:13 +0000 (26 18:22 +0100)
tree7cf33b486ad4137c29f93b6cb918fff34af968d4
parent7ca44f6a9bb8a720ac4a7db6c009e7e4b72bdbf6
extract shared pip_create_dump_file from piplib.c and maind.c

Signed-off-by: Sven Verdoolaege <sven@cs.kuleuven.be>
source/funcall.h
source/maind.c
source/piplib.c