2015-08-15 09:58:26 +02:00
|
|
|
#!/bin/sh
|
2015-08-13 21:10:45 +05:30
|
|
|
rm -rf target*/*so
|
2018-07-28 17:35:41 +02:00
|
|
|
cargo build --lib && cp -R target target_recur && cargo rustc --lib -- -Zextra-plugins=clippy -Ltarget_recur/debug -Dclippy::pedantic -Dclippy::all || exit 1
|
2015-08-13 21:10:45 +05:30
|
|
|
rm -rf target_recur
|
|
|
|
|