mirror of
https://github.com/servo/servo
synced 2026-05-13 18:37:30 +02:00
* use rerun-if-changed in script/build.rs Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com> * handle rerun on changes in webidl.py Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com> * Address comment nit Signed-off-by: Martin Robinson <mrobinson@igalia.com> --------- Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com> Signed-off-by: Martin Robinson <mrobinson@igalia.com> Co-authored-by: Martin Robinson <mrobinson@igalia.com>