Skip to content

Instantly share code, notes, and snippets.

@mgaudet

mgaudet/pernosco-record Secret

Last active August 15, 2022 12:44
Show Gist options
  • Save mgaudet/af2cba5e55fc93ff582cfcb352b54ab4 to your computer and use it in GitHub Desktop.
Save mgaudet/af2cba5e55fc93ff582cfcb352b54ab4 to your computer and use it in GitHub Desktop.
Download ZIP
Tool for disabling pernosco-incompatible instructions.
Raw
pernosco-record
#!/bin/bash
rr record --disable-avx-512 "$@"
@dshin-moz
Copy link

Hm, perhaps the flag changed? --disable-avx512 is missing a dash between avx and 512 (So --disable-avx-512)

@mgaudet
Copy link
Author

mgaudet commented Aug 15, 2022

Yep; fixed! (was an error in the original email that I propagated)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment