diff options
| author | Diego Roversi <diegor@tiscali.it> | 2019-09-08 18:12:27 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2019-09-08 18:12:27 +0200 |
| commit | 1d9925c287b318ec21343e2682b51ab6a36ae8db (patch) | |
| tree | 17d1c0ac21eea6f291146520afa8381db4586fb4 /bubbob/Makefile | |
initial commit from cvs 1.6.2
Diffstat (limited to 'bubbob/Makefile')
| -rw-r--r-- | bubbob/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bubbob/Makefile b/bubbob/Makefile new file mode 100644 index 0000000..ab56103 --- /dev/null +++ b/bubbob/Makefile @@ -0,0 +1,2 @@ +statesaver.so: statesaver.c + python setup.py build_ext -i |