| changeset 2225 | f064d3d3190d |
| parent 2221 | 056dc4847362 |
| child 3647 | 15356a4ccb21 |
| 2224:f7669e0b3220 | 2225:f064d3d3190d |
|---|---|
75 config.status > config.status.new; \ |
75 config.status > config.status.new; \ |
76 mv config.status.new config.status; \ |
76 mv config.status.new config.status; \ |
77 chmod 755 config.status; \ |
77 chmod 755 config.status; \ |
78 ./config.status) |
78 ./config.status) |
79 |
79 |
80 configure: $(CONFIGURE_64) |
|
81 |
|
80 build: $(BUILD_64) |
82 build: $(BUILD_64) |
81 |
83 |
82 install: $(INSTALL_64) |
84 install: $(INSTALL_64) |
83 |
85 |
84 test: $(NO_TESTS) |
86 test: $(NO_TESTS) |