pintos-os.org Git - pspp/commit

speed up pick_short_names

This made a real difference for tests, even in release mode

Unnamed repository; edit this file to name it for gitweb.

rust/pspp/src/dictionary.rs		diff \| blob \| history
rust/pspp/src/sys/mod.rs		diff \| blob \| history
rust/pspp/src/sys/raw/records.rs		diff \| blob \| history
rust/pspp/src/sys/sack.rs		diff \| blob \| history
rust/pspp/src/sys/test.rs		diff \| blob \| history
rust/pspp/src/sys/write.rs		diff \| blob \| history