Recommend update_torch_ods.sh for re-generating GeneratedTorchOps.td (#2609)

Fix #2608
pull/2612/head
Frederik Harwath 2023-12-05 14:26:05 +01:00 committed by GitHub
parent 10b5432e7d
commit d0b49a912e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -102,7 +102,7 @@ ODS_BANNER = f"""//===-------------------------------------------------------*-
// This file is automatically generated. Please do not edit.
// Generated via:
// ```
// python -m {_get_main_module_name()}
// build_tools/update_torch_ods.sh
// ```
//
//===----------------------------------------------------------------------===//